Plug & Test at System Level via Testable TLM Primitives

With the evolution of Electronic System Level (ESL) design methodologies, we are experiencing an extensive use of Transaction-Level Modeling (TLM). TLM is a high-level approach to modeling digital systems where details of the communication among modules are separated from the those of the implementation of functional units. This paper represents a first step toward the automatic insertion of testing capabilities at the transaction level by definition of testable TLM primitives. The use of testable TLM primitives should help designers to easily get testable transaction level descriptions implementing what we call a "Plug & Test" design methodology. The proposed approach is intended to work both with hardware and software implementations. In particular, in this paper we will focus on the design of a testable FIFO communication channel to show how designers are given the freedom of trading-off complexity, testability levels, and cos

Abstracts of the International Halal Science Conference 2023

This book presents the extended abstracts of the selected contributions to the International Halal Science Conference, held on 22-23 August 2023 by the International Institute for Halal Research and Training (INHART), IIUM, Malaysia in collaboration with Halalan Thayyiban Research Centre, University Islam Sultan Sharif (UNISSA), Brunei Darussalam. With the increasing global interest in halal products and services, this conference is timely. Conference Title:  International Halal Science ConferenceConference Acronym: IHASC23Conference Theme: Halal Industry Sustainability Through ScienceConference Date: 22-23 August 2023Conference Venue: International Islamic University (IIUM), MalaysiaConference Organizer: International Institute for Halal Research and Training (INHART), International Islamic University (IIUM), Malaysi